marking formulae as installed when parsing output from list operations