trverify: Simplify checking of constructors,destructors,jcr segment constraints
trverify: Simplify checking of constructors,destructors,jcr segment constraints

libfirm/libfirm,libfirm/libfirm,jonashaag/libfirm,jonashaag/libfirm,jonashaag/libfirm,jonashaag/libfirm,libfirm/libfirm,MatzeB/libfirm,MatzeB/libfirm,libfirm/libfirm,jonashaag/libfirm,MatzeB/libfirm,jonashaag/libfirm,libfirm/libfirm,MatzeB/libfirm,jonashaag/libfirm,MatzeB/libfirm,MatzeB/libfirm,MatzeB/libfirm