initial state test, reverting boolean simplification which leads to a bug