Removed some commented lines
First tests for stack constraints