Update Core formatting

[keyboardDrummer]

Changes

Update Core formatting.

(procedure coprime :  ((a : int) (b : int)) → ((return : bool)))
modifies: []
preconditions: (pre, ((~Bool.And ((~Int.Gt a) #0)) ((~Int.Gt b) #0)))
postconditions: (post, #true)
body: init (i : int) := init_i
i := a
if ((~Int.Lt b) a) then {i := b}
...

Becomes

procedure coprime :  ((a : int) (b : int)) → ((return : bool))
  modifies: []
  preconditions: (pre, ((~Bool.And ((~Int.Gt a) #0)) ((~Int.Gt b) #0)))
  postconditions: (post, #true)
{
  init (i : int) := init_i
  i := a
  if ((~Int.Lt b) a) then {i := b}
  ...
}

### Testing
Updated tests


By submitting this pull request, I confirm that you can use, modify, copy, and redistribute this contribution, under the terms of your choice.