Push edge output policy outside of the (p;t)* policy part.
Add testtables target for a smaller example.
Some code cleaning.
Push edge output policy outside of the (p;t)* policy part.
Some code cleaning.