Got rid of stack-too-deep by eliminating unnecessary contexts (will have to check other contexts later)