adding new compsyn_relarional_plr_fast to detecting control flow vars with only one sat instance and different  assumptions