Partial implementation of assignments as a part of _Formula streams