gustafn
committed
on 20 Aug
add log warnings when include-contract is violated, since (in most cases) the passed values should be pre-checked