Added draft version of handle_prop
Added also printing of formulas for future debug