Fixed a bug in unification between the type of the test in a selective conditional and the type of resurgent symbols.
