Add simple segment guarantor precondition logic