need to return env and sys init as causes for livelock unsat