update dual construction with latest/2, but lat...
new preprocessing file
implementing loading clauses from input file
splitting preprocessing and system predicates