Managing Complicated Laws in BSC Implementations