implemented scoping for some justifications, added helper functions

1 files changed, 2 insertions, 1 deletions

diff --git a/operetta.c b/operetta.c
index f547f2f..f754895 100644
--- a/operetta.c
+++ b/operetta.c
@@ -21,7 +21,8 @@ int main(int argc, char** argv) {
 		write_prop(line.proposition);
 		printf(" BECAUSE: ");
 		write_just(line.justification);
-		printf(just_is_sound(line.proposition, line.justification, lines) ? " <SOUND>" : " <UNSOUND>");
+		printf(just_is_sound(line, lines) ? " <SOUND>" : " <UNSOUND>");
+		printf(" [%d]", line.scope.id);
 		printf("\n");
 	}
 	free(content);