fix the bug in process_expectation/1 to cater with non-nullary abducibles
add description to trlcomb1.ab and queries screenshot with their explanation
add queries screenshot with their explanation