Integration test: Correctly execute *.ll files