augmented control with external call, corrected asserts in factor
augmented control with external call, corrected asserts in factor

lex-lex/Leo-III,leoprover/Leo-III,lex-lex/Leo-III,lex-lex/Leo-III,leoprover/Leo-III,leoprover/Leo-III