add check for guards in initial pseudo