add operation, stored in and termid in factor