diff --git a/cpp/ql/lib/semmle/code/cpp/ir/implementation/aliased_ssa/Instruction.qll b/cpp/ql/lib/semmle/code/cpp/ir/implementation/aliased_ssa/Instruction.qll
index 3679b9e9bce..264cc7d9bf6 100644
--- a/cpp/ql/lib/semmle/code/cpp/ir/implementation/aliased_ssa/Instruction.qll
+++ b/cpp/ql/lib/semmle/code/cpp/ir/implementation/aliased_ssa/Instruction.qll
@@ -1714,13 +1714,9 @@ class CallSideEffectInstruction extends SideEffectInstruction {
   CallSideEffectInstruction() { this.getOpcode() instanceof Opcode::CallSideEffect }
 
   /** Gets the operand for the value that will be read by this instruction */
-  final SideEffectOperand getSideEffectOperand() {
-    result = this.getAnOperand()
-  }
+  final SideEffectOperand getSideEffectOperand() { result = this.getAnOperand() }
 
-  final Instruction getSideEffect() {
-    result = this.getAnOperand().getDef()
-  }
+  final Instruction getSideEffect() { result = this.getAnOperand().getDef() }
 }
 
 /**
@@ -1732,15 +1728,11 @@ class CallSideEffectInstruction extends SideEffectInstruction {
  */
 class CallReadSideEffectInstruction extends SideEffectInstruction {
   CallReadSideEffectInstruction() { this.getOpcode() instanceof Opcode::CallReadSideEffect }
-  
-  /** Gets the operand for the value that will be read by this instruction */
-  final SideEffectOperand getSideEffectOperand() {
-    result = this.getAnOperand()
-  }
 
-  final Instruction getSideEffect() {
-    result = this.getAnOperand().getDef()
-  }
+  /** Gets the operand for the value that will be read by this instruction */
+  final SideEffectOperand getSideEffectOperand() { result = this.getAnOperand() }
+
+  final Instruction getSideEffect() { result = this.getAnOperand().getDef() }
 }
 
 /**