BlockASP: A Framework for AOP-Based Model Checking Blockchain System | Synapse