fixes #54: allow a precondition in sub-contracts if no precondition i…#55

Open

timmr wants to merge 1 commit intoC4J-Team:masterfrom timmr:undefined-precond-in-supercontract

+66-3

Commits on Nov 20, 2017

fixes C4J-Team#54 : allow a precondition in sub-contracts if no precondition is given in super-contract and default-precondition configuration is undefined
timmr
committed