Technology mapping boolean expr. etc by Berkelaar