Reconstruct record expression in bidir pattern synonym