if( from_balance <= 0 && Db.script_account().toString != from) 
               Fiber.abort( "insufficient balance" )

This code looks strange.
By the way, do we need to check whether from_balance >= a?