case if_AND_Or_and problem fixed rather awkwardly; require more research