fix to case when no matches for props occur

if no matches occur, PropositionNotMatchedException is thrown, in order
to terminate the program