added assume and unassume