Fixed whitespace issues.
Fixed Makefile: Do not try of proving unproved conjectures.