public void visitNegExpr(final NegExpr expr) {
		if (expr.expr().type().isIntegral()
				|| expr.expr().type().equals(ClassHierarchy.POS_SHORT)
				|| expr.expr().type().equals(ClassHierarchy.POS_BYTE)) {

			start(expr, Type.INTEGER);

		} else {
			prop(expr, expr.expr());
		}
	}