Some little modification for debugging purpouses, nothing important.
Merge branch 'master' of github.com:glipari/forts

Conflicts:
	src/constraint_parser.cpp