separated interposers for setup from interposers for user defined datalog