Finished getPredicates
Revert "Finished getPredicates"

This reverts commit 54d90f38a7730e087499bb218cae921f63ad1de5.
Merge remote-tracking branch 'origin' into nathan
Fixed to dos in Lab haha oops. Also fixed export to ".out" file instead of original...
Merge pull request #18 from niode/nathan

Fixed empty functions in Lab, changed filewriter to write to .out.